21. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
22. Automated technology for verification and analysis :
Author: Tevfik Bultan, Pao-Ann Hsiung (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2011
23. Automated technology for verification and analysis
Author: / Kedar S. Namjoshi ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses
Classification :
QA
,
76
.
9
,.
A96
,
A82
,
2006
25. Certified Programs and Proofs :
Author: edited by Chris Hawblitzel, Dale Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
Classification :
QA76
.
9
.
M35
E358
2012
26. Cognitive Informatics and Soft Computing :
Author: Pradeep Kumar Mallick, Valentina Emilia Balas, Akash Kumar Bhoi, Ahmed F. Zobaa, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence, Congresses.,Soft computing, Congresses.,Computational intelligence.,COMPUTERS-- General.,Soft computing.
Classification :
Q342
27. Collaborative computing :
Author: Honghao Gao, Xinheng Wang, Yuyu Yin, Muddesar Iqbal (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Multimedia systems, Congresses.,Online social networks, Congresses.,Computer networks.,Electronic data processing-- Distributed processing.,Multimedia systems.,Online social networks.
Classification :
TK5105
.
5
28. Communicating Process Architectures 2002 :
Author: edited by James Pascoe [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer multitasking, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Fonctionnement multitâche, Congrès.,Occam (Langage de programmation), Congrès.,Parallélisme (Informatique), Congrès.,Computer multitasking.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,occam (Computer program language),Parallel processing (Electronic computers)
Classification :
QA76
.
73
.
O2
W67
2002eb
29. Computer Aided Verification
Author: \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
76
.
V47C6
2015
E-Book
,
30. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
31. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
32. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
33. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
34. Computer aided verification :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Verification ; Congresses. ;
35. Computer aided verification
Author: / Pierre Wolper (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software- Verification- Congresses,Electronic digital computers- Evaluation- Congresses
Classification :
QA76
.
76
.
C47
,
C38
1995
36. Computer aided verification
Author: / Rajeev Alur, Doron A. Peled (eds.)
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer software -- Evaluation -- Congresses,Electronic digital computers -- Evaluation -- Congresses
Classification :
QA
76
.
76
.
E93C38
37. Computer aided verification
Author: P. Madhusudan, Sanjit A. Seshia (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses
Classification :
QA76
.
76
.
V47
C38
2012eb
38. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings
Author: G.V. Bochmann, D.K. Probst )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers
Classification :
QA
76
.
L28
Vol
.
663
39. Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation
Classification :
QA
76
.
76
.
E93
.
C38
1993
40. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
Author: G. v. Bochmann, D.K. Probst, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
Classification :
QA
76
.
76
.
V47
C38
1993
